<?php
setcookie("user", "Alex Porter", time()+3600);
?>

<html>
.....